Все словари русского языка: Толковый словарь, Словарь синонимов, Словарь антонимов, Энциклопедический словарь, Академический словарь, Словарь существительных, Поговорки, Словарь русского арго, Орфографический словарь, Словарь ударений, Трудности произношения и ударения, Формы слов, Синонимы, Тезаурус русской деловой лексики, Морфемно-орфографический словарь, Этимология, Этимологический словарь, Грамматический словарь, Идеография, Пословицы и поговорки, Этимологический словарь русского языка.

лукасевич (Łukasiewicz) ян

Большой энциклопедический словарь

Лукасе́вич (Łukasiewicz) Ян (1878-1956), польский логик, один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской Ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (так называемая бесскобочная символика Лукасевича).

Полезные сервисы

лукасевич (lukasiewicz) ян

Большой энциклопедический словарь

ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956) - польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).

Полезные сервисы

лукасевич ян

Энциклопедический словарь

Лукасе́вич Ян (Łukasiewicz) (1878-1956), польский логик, один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (так называемая бесскобочная символика Лукасевича).

* * *

ЛУКАСЕВИЧ Ян - ЛУКАСЕ́ВИЧ (Lukasiewicz) Ян (1878-1956), польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы (см. ЛЬВОВСКО-ВАРШАВСКАЯ ШКОЛА). С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).

Полезные сервисы